automated logic inference
自动逻辑推理
热门查询
- innuendo n. 暗讽，讽刺；影射 vt. 暗示，旁敲侧击地表达 vi. 影射；说讽刺话
- intake n. 摄取量；通风口；引入口；引入的量
- Napoleonic adj. 拿破仑一世的；拿破仑一世时期的
- Chrissy [人名] 克丽茜
- stepped v. 踏；行走（step的过去式和过去分词）
- Ltd abbr. 有限责任公司（Limited）；激光目标指示器（等于Laser Target Designator）
- Greenall [人名] 格里诺尔
- solution n. 解决方案；溶液；溶解；解答
- nodule n. 小结；小瘤；节结
- Thurso [地名] [加拿大、英国] 瑟索
- leukocytosis n. 白血球增多；[内科] 白细胞增多
- transcription n. 抄写；抄本；誊写
- chine n. 脊骨；脊柱 n. (Chine)人名；(柬)郑
- humongous adj. 巨大无比的，极大的
- subchapter n. （尤指法律文件等的）分章；分节
- resistor n. [电] 电阻器
- outfitting n. 码头舾装；舾装设备 v. 配备；供应（outfit的ing形式）
- whimpering v. 幽咽（whimper的ing形式）
- Machel n. (Machel)人名；(英)梅切尔；(莫)马谢尔
- Nicholson 尼科尔森(姓氏)
考试词汇表
- Lancret, Nicolas
- Land of the Rose
- Landen mechanism
- Landes, Dép.des
- Landmark process
- Landolfi caustic
- Landolfi's paste
- Landolt's bodies
- Landolt's fibers
- Landolt's fibres
- Landolt's theory
- Landowska, Wanda
- Landry paralysis
- Landry's disease
- Landsborough Cr.
- Landsteiner rule
- Landzert's canal
- Landzert's fossa
- Lane's mouth gag
- Lane's operation
